module HelloModule {
    exports hello;
}